0 Prolog
↳1 PrologToPrologProblemTransformerProof (⇒, 368 ms)
↳2 Prolog
↳3 PrologToPiTRSProof (⇒, 90 ms)
↳4 PiTRS
↳5 DependencyPairsProof (⇔, 187 ms)
↳6 PiDP
↳7 DependencyGraphProof (⇔, 0 ms)
↳8 AND
↳9 PiDP
↳10 UsableRulesProof (⇔, 0 ms)
↳11 PiDP
↳12 PiDPToQDPProof (⇒, 0 ms)
↳13 QDP
↳14 QDPSizeChangeProof (⇔, 0 ms)
↳15 YES
↳16 PiDP
↳17 UsableRulesProof (⇔, 0 ms)
↳18 PiDP
↳19 PiDPToQDPProof (⇒, 0 ms)
↳20 QDP
↳21 QDPSizeChangeProof (⇔, 0 ms)
↳22 YES
transposeD_in_ga(.(T24, T25), .(T28, T29)) → U7_ga(T24, T25, T28, T29, pB_in_gaaaag(T24, T28, T29, X35, X36, T25))
pB_in_gaaaag(T24, T28, T29, X35, X36, T25) → U2_gaaaag(T24, T28, T29, X35, X36, T25, row2colC_in_gaaaa(T24, T28, T29, X35, X36))
row2colC_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, .(T231, T232)))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), .(.(T231, T233), T235))))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, .(T233, X476)))))))), X477) → U6_gaaaa(T56, T81, T106, T131, T156, T181, T206, T231, T232, T58, T83, T108, T133, T158, T183, T208, T233, T235, X476, X477, row2colA_in_gaaga(T232, T235, X476, .([], .([], .([], .([], .([], .([], .([], []))))))), X477))
row2colA_in_gaaga(.(T266, T267), .(.(T266, T268), T271), .(T268, X539), T270, X540) → U1_gaaga(T266, T267, T268, T271, X539, T270, X540, row2colA_in_gaaga(T267, T271, X539, .([], T270), X540))
row2colA_in_gaaga([], [], [], T279, .([], T279)) → row2colA_out_gaaga([], [], [], T279, .([], T279))
U1_gaaga(T266, T267, T268, T271, X539, T270, X540, row2colA_out_gaaga(T267, T271, X539, .([], T270), X540)) → row2colA_out_gaaga(.(T266, T267), .(.(T266, T268), T271), .(T268, X539), T270, X540)
U6_gaaaa(T56, T81, T106, T131, T156, T181, T206, T231, T232, T58, T83, T108, T133, T158, T183, T208, T233, T235, X476, X477, row2colA_out_gaaga(T232, T235, X476, .([], .([], .([], .([], .([], .([], .([], []))))))), X477)) → row2colC_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, .(T231, T232)))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), .(.(T231, T233), T235))))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, .(T233, X476)))))))), X477)
row2colC_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, []))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), [])))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, []))))))), .([], .([], .([], .([], .([], .([], .([], [])))))))) → row2colC_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, []))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), [])))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, []))))))), .([], .([], .([], .([], .([], .([], .([], []))))))))
row2colC_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, [])))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), []))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, [])))))), .([], .([], .([], .([], .([], .([], []))))))) → row2colC_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, [])))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), []))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, [])))))), .([], .([], .([], .([], .([], .([], [])))))))
row2colC_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, []))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), [])))), .(T58, .(T83, .(T108, .(T133, .(T158, []))))), .([], .([], .([], .([], .([], [])))))) → row2colC_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, []))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), [])))), .(T58, .(T83, .(T108, .(T133, .(T158, []))))), .([], .([], .([], .([], .([], []))))))
row2colC_in_gaaaa(.(T56, .(T81, .(T106, .(T131, [])))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), []))), .(T58, .(T83, .(T108, .(T133, [])))), .([], .([], .([], .([], []))))) → row2colC_out_gaaaa(.(T56, .(T81, .(T106, .(T131, [])))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), []))), .(T58, .(T83, .(T108, .(T133, [])))), .([], .([], .([], .([], [])))))
row2colC_in_gaaaa(.(T56, .(T81, .(T106, []))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), [])), .(T58, .(T83, .(T108, []))), .([], .([], .([], [])))) → row2colC_out_gaaaa(.(T56, .(T81, .(T106, []))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), [])), .(T58, .(T83, .(T108, []))), .([], .([], .([], []))))
row2colC_in_gaaaa(.(T56, .(T81, [])), .(T56, T58), .(.(T81, T83), []), .(T58, .(T83, [])), .([], .([], []))) → row2colC_out_gaaaa(.(T56, .(T81, [])), .(T56, T58), .(.(T81, T83), []), .(T58, .(T83, [])), .([], .([], [])))
row2colC_in_gaaaa(.(T56, []), .(T56, T58), [], .(T58, []), .([], [])) → row2colC_out_gaaaa(.(T56, []), .(T56, T58), [], .(T58, []), .([], []))
U2_gaaaag(T24, T28, T29, X35, X36, T25, row2colC_out_gaaaa(T24, T28, T29, X35, X36)) → pB_out_gaaaag(T24, T28, T29, X35, X36, T25)
pB_in_gaaaag(T24, T28, T29, .(T310, T311), T307, .(T305, T306)) → U3_gaaaag(T24, T28, T29, T310, T311, T307, T305, T306, row2colC_in_gaaaa(T24, T28, T29, .(T310, T311), T307))
U3_gaaaag(T24, T28, T29, T310, T311, T307, T305, T306, row2colC_out_gaaaa(T24, T28, T29, .(T310, T311), T307)) → U4_gaaaag(T24, T28, T29, T310, T311, T307, T305, T306, pB_in_gaaaag(T305, T310, T311, X611, X612, T306))
pB_in_gaaaag(T24, T28, T29, T318, T318, []) → U5_gaaaag(T24, T28, T29, T318, row2colC_in_gaaaa(T24, T28, T29, T318, T318))
U5_gaaaag(T24, T28, T29, T318, row2colC_out_gaaaa(T24, T28, T29, T318, T318)) → pB_out_gaaaag(T24, T28, T29, T318, T318, [])
U4_gaaaag(T24, T28, T29, T310, T311, T307, T305, T306, pB_out_gaaaag(T305, T310, T311, X611, X612, T306)) → pB_out_gaaaag(T24, T28, T29, .(T310, T311), T307, .(T305, T306))
U7_ga(T24, T25, T28, T29, pB_out_gaaaag(T24, T28, T29, X35, X36, T25)) → transposeD_out_ga(.(T24, T25), .(T28, T29))
transposeD_in_ga([], []) → transposeD_out_ga([], [])
Infinitary Constructor Rewriting Termination of PiTRS implies Termination of Prolog
transposeD_in_ga(.(T24, T25), .(T28, T29)) → U7_ga(T24, T25, T28, T29, pB_in_gaaaag(T24, T28, T29, X35, X36, T25))
pB_in_gaaaag(T24, T28, T29, X35, X36, T25) → U2_gaaaag(T24, T28, T29, X35, X36, T25, row2colC_in_gaaaa(T24, T28, T29, X35, X36))
row2colC_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, .(T231, T232)))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), .(.(T231, T233), T235))))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, .(T233, X476)))))))), X477) → U6_gaaaa(T56, T81, T106, T131, T156, T181, T206, T231, T232, T58, T83, T108, T133, T158, T183, T208, T233, T235, X476, X477, row2colA_in_gaaga(T232, T235, X476, .([], .([], .([], .([], .([], .([], .([], []))))))), X477))
row2colA_in_gaaga(.(T266, T267), .(.(T266, T268), T271), .(T268, X539), T270, X540) → U1_gaaga(T266, T267, T268, T271, X539, T270, X540, row2colA_in_gaaga(T267, T271, X539, .([], T270), X540))
row2colA_in_gaaga([], [], [], T279, .([], T279)) → row2colA_out_gaaga([], [], [], T279, .([], T279))
U1_gaaga(T266, T267, T268, T271, X539, T270, X540, row2colA_out_gaaga(T267, T271, X539, .([], T270), X540)) → row2colA_out_gaaga(.(T266, T267), .(.(T266, T268), T271), .(T268, X539), T270, X540)
U6_gaaaa(T56, T81, T106, T131, T156, T181, T206, T231, T232, T58, T83, T108, T133, T158, T183, T208, T233, T235, X476, X477, row2colA_out_gaaga(T232, T235, X476, .([], .([], .([], .([], .([], .([], .([], []))))))), X477)) → row2colC_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, .(T231, T232)))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), .(.(T231, T233), T235))))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, .(T233, X476)))))))), X477)
row2colC_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, []))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), [])))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, []))))))), .([], .([], .([], .([], .([], .([], .([], [])))))))) → row2colC_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, []))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), [])))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, []))))))), .([], .([], .([], .([], .([], .([], .([], []))))))))
row2colC_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, [])))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), []))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, [])))))), .([], .([], .([], .([], .([], .([], []))))))) → row2colC_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, [])))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), []))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, [])))))), .([], .([], .([], .([], .([], .([], [])))))))
row2colC_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, []))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), [])))), .(T58, .(T83, .(T108, .(T133, .(T158, []))))), .([], .([], .([], .([], .([], [])))))) → row2colC_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, []))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), [])))), .(T58, .(T83, .(T108, .(T133, .(T158, []))))), .([], .([], .([], .([], .([], []))))))
row2colC_in_gaaaa(.(T56, .(T81, .(T106, .(T131, [])))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), []))), .(T58, .(T83, .(T108, .(T133, [])))), .([], .([], .([], .([], []))))) → row2colC_out_gaaaa(.(T56, .(T81, .(T106, .(T131, [])))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), []))), .(T58, .(T83, .(T108, .(T133, [])))), .([], .([], .([], .([], [])))))
row2colC_in_gaaaa(.(T56, .(T81, .(T106, []))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), [])), .(T58, .(T83, .(T108, []))), .([], .([], .([], [])))) → row2colC_out_gaaaa(.(T56, .(T81, .(T106, []))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), [])), .(T58, .(T83, .(T108, []))), .([], .([], .([], []))))
row2colC_in_gaaaa(.(T56, .(T81, [])), .(T56, T58), .(.(T81, T83), []), .(T58, .(T83, [])), .([], .([], []))) → row2colC_out_gaaaa(.(T56, .(T81, [])), .(T56, T58), .(.(T81, T83), []), .(T58, .(T83, [])), .([], .([], [])))
row2colC_in_gaaaa(.(T56, []), .(T56, T58), [], .(T58, []), .([], [])) → row2colC_out_gaaaa(.(T56, []), .(T56, T58), [], .(T58, []), .([], []))
U2_gaaaag(T24, T28, T29, X35, X36, T25, row2colC_out_gaaaa(T24, T28, T29, X35, X36)) → pB_out_gaaaag(T24, T28, T29, X35, X36, T25)
pB_in_gaaaag(T24, T28, T29, .(T310, T311), T307, .(T305, T306)) → U3_gaaaag(T24, T28, T29, T310, T311, T307, T305, T306, row2colC_in_gaaaa(T24, T28, T29, .(T310, T311), T307))
U3_gaaaag(T24, T28, T29, T310, T311, T307, T305, T306, row2colC_out_gaaaa(T24, T28, T29, .(T310, T311), T307)) → U4_gaaaag(T24, T28, T29, T310, T311, T307, T305, T306, pB_in_gaaaag(T305, T310, T311, X611, X612, T306))
pB_in_gaaaag(T24, T28, T29, T318, T318, []) → U5_gaaaag(T24, T28, T29, T318, row2colC_in_gaaaa(T24, T28, T29, T318, T318))
U5_gaaaag(T24, T28, T29, T318, row2colC_out_gaaaa(T24, T28, T29, T318, T318)) → pB_out_gaaaag(T24, T28, T29, T318, T318, [])
U4_gaaaag(T24, T28, T29, T310, T311, T307, T305, T306, pB_out_gaaaag(T305, T310, T311, X611, X612, T306)) → pB_out_gaaaag(T24, T28, T29, .(T310, T311), T307, .(T305, T306))
U7_ga(T24, T25, T28, T29, pB_out_gaaaag(T24, T28, T29, X35, X36, T25)) → transposeD_out_ga(.(T24, T25), .(T28, T29))
transposeD_in_ga([], []) → transposeD_out_ga([], [])
TRANSPOSED_IN_GA(.(T24, T25), .(T28, T29)) → U7_GA(T24, T25, T28, T29, pB_in_gaaaag(T24, T28, T29, X35, X36, T25))
TRANSPOSED_IN_GA(.(T24, T25), .(T28, T29)) → PB_IN_GAAAAG(T24, T28, T29, X35, X36, T25)
PB_IN_GAAAAG(T24, T28, T29, X35, X36, T25) → U2_GAAAAG(T24, T28, T29, X35, X36, T25, row2colC_in_gaaaa(T24, T28, T29, X35, X36))
PB_IN_GAAAAG(T24, T28, T29, X35, X36, T25) → ROW2COLC_IN_GAAAA(T24, T28, T29, X35, X36)
ROW2COLC_IN_GAAAA(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, .(T231, T232)))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), .(.(T231, T233), T235))))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, .(T233, X476)))))))), X477) → U6_GAAAA(T56, T81, T106, T131, T156, T181, T206, T231, T232, T58, T83, T108, T133, T158, T183, T208, T233, T235, X476, X477, row2colA_in_gaaga(T232, T235, X476, .([], .([], .([], .([], .([], .([], .([], []))))))), X477))
ROW2COLC_IN_GAAAA(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, .(T231, T232)))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), .(.(T231, T233), T235))))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, .(T233, X476)))))))), X477) → ROW2COLA_IN_GAAGA(T232, T235, X476, .([], .([], .([], .([], .([], .([], .([], []))))))), X477)
ROW2COLA_IN_GAAGA(.(T266, T267), .(.(T266, T268), T271), .(T268, X539), T270, X540) → U1_GAAGA(T266, T267, T268, T271, X539, T270, X540, row2colA_in_gaaga(T267, T271, X539, .([], T270), X540))
ROW2COLA_IN_GAAGA(.(T266, T267), .(.(T266, T268), T271), .(T268, X539), T270, X540) → ROW2COLA_IN_GAAGA(T267, T271, X539, .([], T270), X540)
PB_IN_GAAAAG(T24, T28, T29, .(T310, T311), T307, .(T305, T306)) → U3_GAAAAG(T24, T28, T29, T310, T311, T307, T305, T306, row2colC_in_gaaaa(T24, T28, T29, .(T310, T311), T307))
PB_IN_GAAAAG(T24, T28, T29, .(T310, T311), T307, .(T305, T306)) → ROW2COLC_IN_GAAAA(T24, T28, T29, .(T310, T311), T307)
U3_GAAAAG(T24, T28, T29, T310, T311, T307, T305, T306, row2colC_out_gaaaa(T24, T28, T29, .(T310, T311), T307)) → U4_GAAAAG(T24, T28, T29, T310, T311, T307, T305, T306, pB_in_gaaaag(T305, T310, T311, X611, X612, T306))
U3_GAAAAG(T24, T28, T29, T310, T311, T307, T305, T306, row2colC_out_gaaaa(T24, T28, T29, .(T310, T311), T307)) → PB_IN_GAAAAG(T305, T310, T311, X611, X612, T306)
PB_IN_GAAAAG(T24, T28, T29, T318, T318, []) → U5_GAAAAG(T24, T28, T29, T318, row2colC_in_gaaaa(T24, T28, T29, T318, T318))
PB_IN_GAAAAG(T24, T28, T29, T318, T318, []) → ROW2COLC_IN_GAAAA(T24, T28, T29, T318, T318)
transposeD_in_ga(.(T24, T25), .(T28, T29)) → U7_ga(T24, T25, T28, T29, pB_in_gaaaag(T24, T28, T29, X35, X36, T25))
pB_in_gaaaag(T24, T28, T29, X35, X36, T25) → U2_gaaaag(T24, T28, T29, X35, X36, T25, row2colC_in_gaaaa(T24, T28, T29, X35, X36))
row2colC_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, .(T231, T232)))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), .(.(T231, T233), T235))))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, .(T233, X476)))))))), X477) → U6_gaaaa(T56, T81, T106, T131, T156, T181, T206, T231, T232, T58, T83, T108, T133, T158, T183, T208, T233, T235, X476, X477, row2colA_in_gaaga(T232, T235, X476, .([], .([], .([], .([], .([], .([], .([], []))))))), X477))
row2colA_in_gaaga(.(T266, T267), .(.(T266, T268), T271), .(T268, X539), T270, X540) → U1_gaaga(T266, T267, T268, T271, X539, T270, X540, row2colA_in_gaaga(T267, T271, X539, .([], T270), X540))
row2colA_in_gaaga([], [], [], T279, .([], T279)) → row2colA_out_gaaga([], [], [], T279, .([], T279))
U1_gaaga(T266, T267, T268, T271, X539, T270, X540, row2colA_out_gaaga(T267, T271, X539, .([], T270), X540)) → row2colA_out_gaaga(.(T266, T267), .(.(T266, T268), T271), .(T268, X539), T270, X540)
U6_gaaaa(T56, T81, T106, T131, T156, T181, T206, T231, T232, T58, T83, T108, T133, T158, T183, T208, T233, T235, X476, X477, row2colA_out_gaaga(T232, T235, X476, .([], .([], .([], .([], .([], .([], .([], []))))))), X477)) → row2colC_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, .(T231, T232)))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), .(.(T231, T233), T235))))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, .(T233, X476)))))))), X477)
row2colC_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, []))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), [])))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, []))))))), .([], .([], .([], .([], .([], .([], .([], [])))))))) → row2colC_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, []))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), [])))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, []))))))), .([], .([], .([], .([], .([], .([], .([], []))))))))
row2colC_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, [])))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), []))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, [])))))), .([], .([], .([], .([], .([], .([], []))))))) → row2colC_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, [])))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), []))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, [])))))), .([], .([], .([], .([], .([], .([], [])))))))
row2colC_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, []))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), [])))), .(T58, .(T83, .(T108, .(T133, .(T158, []))))), .([], .([], .([], .([], .([], [])))))) → row2colC_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, []))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), [])))), .(T58, .(T83, .(T108, .(T133, .(T158, []))))), .([], .([], .([], .([], .([], []))))))
row2colC_in_gaaaa(.(T56, .(T81, .(T106, .(T131, [])))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), []))), .(T58, .(T83, .(T108, .(T133, [])))), .([], .([], .([], .([], []))))) → row2colC_out_gaaaa(.(T56, .(T81, .(T106, .(T131, [])))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), []))), .(T58, .(T83, .(T108, .(T133, [])))), .([], .([], .([], .([], [])))))
row2colC_in_gaaaa(.(T56, .(T81, .(T106, []))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), [])), .(T58, .(T83, .(T108, []))), .([], .([], .([], [])))) → row2colC_out_gaaaa(.(T56, .(T81, .(T106, []))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), [])), .(T58, .(T83, .(T108, []))), .([], .([], .([], []))))
row2colC_in_gaaaa(.(T56, .(T81, [])), .(T56, T58), .(.(T81, T83), []), .(T58, .(T83, [])), .([], .([], []))) → row2colC_out_gaaaa(.(T56, .(T81, [])), .(T56, T58), .(.(T81, T83), []), .(T58, .(T83, [])), .([], .([], [])))
row2colC_in_gaaaa(.(T56, []), .(T56, T58), [], .(T58, []), .([], [])) → row2colC_out_gaaaa(.(T56, []), .(T56, T58), [], .(T58, []), .([], []))
U2_gaaaag(T24, T28, T29, X35, X36, T25, row2colC_out_gaaaa(T24, T28, T29, X35, X36)) → pB_out_gaaaag(T24, T28, T29, X35, X36, T25)
pB_in_gaaaag(T24, T28, T29, .(T310, T311), T307, .(T305, T306)) → U3_gaaaag(T24, T28, T29, T310, T311, T307, T305, T306, row2colC_in_gaaaa(T24, T28, T29, .(T310, T311), T307))
U3_gaaaag(T24, T28, T29, T310, T311, T307, T305, T306, row2colC_out_gaaaa(T24, T28, T29, .(T310, T311), T307)) → U4_gaaaag(T24, T28, T29, T310, T311, T307, T305, T306, pB_in_gaaaag(T305, T310, T311, X611, X612, T306))
pB_in_gaaaag(T24, T28, T29, T318, T318, []) → U5_gaaaag(T24, T28, T29, T318, row2colC_in_gaaaa(T24, T28, T29, T318, T318))
U5_gaaaag(T24, T28, T29, T318, row2colC_out_gaaaa(T24, T28, T29, T318, T318)) → pB_out_gaaaag(T24, T28, T29, T318, T318, [])
U4_gaaaag(T24, T28, T29, T310, T311, T307, T305, T306, pB_out_gaaaag(T305, T310, T311, X611, X612, T306)) → pB_out_gaaaag(T24, T28, T29, .(T310, T311), T307, .(T305, T306))
U7_ga(T24, T25, T28, T29, pB_out_gaaaag(T24, T28, T29, X35, X36, T25)) → transposeD_out_ga(.(T24, T25), .(T28, T29))
transposeD_in_ga([], []) → transposeD_out_ga([], [])
TRANSPOSED_IN_GA(.(T24, T25), .(T28, T29)) → U7_GA(T24, T25, T28, T29, pB_in_gaaaag(T24, T28, T29, X35, X36, T25))
TRANSPOSED_IN_GA(.(T24, T25), .(T28, T29)) → PB_IN_GAAAAG(T24, T28, T29, X35, X36, T25)
PB_IN_GAAAAG(T24, T28, T29, X35, X36, T25) → U2_GAAAAG(T24, T28, T29, X35, X36, T25, row2colC_in_gaaaa(T24, T28, T29, X35, X36))
PB_IN_GAAAAG(T24, T28, T29, X35, X36, T25) → ROW2COLC_IN_GAAAA(T24, T28, T29, X35, X36)
ROW2COLC_IN_GAAAA(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, .(T231, T232)))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), .(.(T231, T233), T235))))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, .(T233, X476)))))))), X477) → U6_GAAAA(T56, T81, T106, T131, T156, T181, T206, T231, T232, T58, T83, T108, T133, T158, T183, T208, T233, T235, X476, X477, row2colA_in_gaaga(T232, T235, X476, .([], .([], .([], .([], .([], .([], .([], []))))))), X477))
ROW2COLC_IN_GAAAA(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, .(T231, T232)))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), .(.(T231, T233), T235))))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, .(T233, X476)))))))), X477) → ROW2COLA_IN_GAAGA(T232, T235, X476, .([], .([], .([], .([], .([], .([], .([], []))))))), X477)
ROW2COLA_IN_GAAGA(.(T266, T267), .(.(T266, T268), T271), .(T268, X539), T270, X540) → U1_GAAGA(T266, T267, T268, T271, X539, T270, X540, row2colA_in_gaaga(T267, T271, X539, .([], T270), X540))
ROW2COLA_IN_GAAGA(.(T266, T267), .(.(T266, T268), T271), .(T268, X539), T270, X540) → ROW2COLA_IN_GAAGA(T267, T271, X539, .([], T270), X540)
PB_IN_GAAAAG(T24, T28, T29, .(T310, T311), T307, .(T305, T306)) → U3_GAAAAG(T24, T28, T29, T310, T311, T307, T305, T306, row2colC_in_gaaaa(T24, T28, T29, .(T310, T311), T307))
PB_IN_GAAAAG(T24, T28, T29, .(T310, T311), T307, .(T305, T306)) → ROW2COLC_IN_GAAAA(T24, T28, T29, .(T310, T311), T307)
U3_GAAAAG(T24, T28, T29, T310, T311, T307, T305, T306, row2colC_out_gaaaa(T24, T28, T29, .(T310, T311), T307)) → U4_GAAAAG(T24, T28, T29, T310, T311, T307, T305, T306, pB_in_gaaaag(T305, T310, T311, X611, X612, T306))
U3_GAAAAG(T24, T28, T29, T310, T311, T307, T305, T306, row2colC_out_gaaaa(T24, T28, T29, .(T310, T311), T307)) → PB_IN_GAAAAG(T305, T310, T311, X611, X612, T306)
PB_IN_GAAAAG(T24, T28, T29, T318, T318, []) → U5_GAAAAG(T24, T28, T29, T318, row2colC_in_gaaaa(T24, T28, T29, T318, T318))
PB_IN_GAAAAG(T24, T28, T29, T318, T318, []) → ROW2COLC_IN_GAAAA(T24, T28, T29, T318, T318)
transposeD_in_ga(.(T24, T25), .(T28, T29)) → U7_ga(T24, T25, T28, T29, pB_in_gaaaag(T24, T28, T29, X35, X36, T25))
pB_in_gaaaag(T24, T28, T29, X35, X36, T25) → U2_gaaaag(T24, T28, T29, X35, X36, T25, row2colC_in_gaaaa(T24, T28, T29, X35, X36))
row2colC_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, .(T231, T232)))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), .(.(T231, T233), T235))))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, .(T233, X476)))))))), X477) → U6_gaaaa(T56, T81, T106, T131, T156, T181, T206, T231, T232, T58, T83, T108, T133, T158, T183, T208, T233, T235, X476, X477, row2colA_in_gaaga(T232, T235, X476, .([], .([], .([], .([], .([], .([], .([], []))))))), X477))
row2colA_in_gaaga(.(T266, T267), .(.(T266, T268), T271), .(T268, X539), T270, X540) → U1_gaaga(T266, T267, T268, T271, X539, T270, X540, row2colA_in_gaaga(T267, T271, X539, .([], T270), X540))
row2colA_in_gaaga([], [], [], T279, .([], T279)) → row2colA_out_gaaga([], [], [], T279, .([], T279))
U1_gaaga(T266, T267, T268, T271, X539, T270, X540, row2colA_out_gaaga(T267, T271, X539, .([], T270), X540)) → row2colA_out_gaaga(.(T266, T267), .(.(T266, T268), T271), .(T268, X539), T270, X540)
U6_gaaaa(T56, T81, T106, T131, T156, T181, T206, T231, T232, T58, T83, T108, T133, T158, T183, T208, T233, T235, X476, X477, row2colA_out_gaaga(T232, T235, X476, .([], .([], .([], .([], .([], .([], .([], []))))))), X477)) → row2colC_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, .(T231, T232)))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), .(.(T231, T233), T235))))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, .(T233, X476)))))))), X477)
row2colC_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, []))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), [])))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, []))))))), .([], .([], .([], .([], .([], .([], .([], [])))))))) → row2colC_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, []))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), [])))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, []))))))), .([], .([], .([], .([], .([], .([], .([], []))))))))
row2colC_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, [])))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), []))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, [])))))), .([], .([], .([], .([], .([], .([], []))))))) → row2colC_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, [])))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), []))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, [])))))), .([], .([], .([], .([], .([], .([], [])))))))
row2colC_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, []))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), [])))), .(T58, .(T83, .(T108, .(T133, .(T158, []))))), .([], .([], .([], .([], .([], [])))))) → row2colC_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, []))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), [])))), .(T58, .(T83, .(T108, .(T133, .(T158, []))))), .([], .([], .([], .([], .([], []))))))
row2colC_in_gaaaa(.(T56, .(T81, .(T106, .(T131, [])))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), []))), .(T58, .(T83, .(T108, .(T133, [])))), .([], .([], .([], .([], []))))) → row2colC_out_gaaaa(.(T56, .(T81, .(T106, .(T131, [])))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), []))), .(T58, .(T83, .(T108, .(T133, [])))), .([], .([], .([], .([], [])))))
row2colC_in_gaaaa(.(T56, .(T81, .(T106, []))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), [])), .(T58, .(T83, .(T108, []))), .([], .([], .([], [])))) → row2colC_out_gaaaa(.(T56, .(T81, .(T106, []))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), [])), .(T58, .(T83, .(T108, []))), .([], .([], .([], []))))
row2colC_in_gaaaa(.(T56, .(T81, [])), .(T56, T58), .(.(T81, T83), []), .(T58, .(T83, [])), .([], .([], []))) → row2colC_out_gaaaa(.(T56, .(T81, [])), .(T56, T58), .(.(T81, T83), []), .(T58, .(T83, [])), .([], .([], [])))
row2colC_in_gaaaa(.(T56, []), .(T56, T58), [], .(T58, []), .([], [])) → row2colC_out_gaaaa(.(T56, []), .(T56, T58), [], .(T58, []), .([], []))
U2_gaaaag(T24, T28, T29, X35, X36, T25, row2colC_out_gaaaa(T24, T28, T29, X35, X36)) → pB_out_gaaaag(T24, T28, T29, X35, X36, T25)
pB_in_gaaaag(T24, T28, T29, .(T310, T311), T307, .(T305, T306)) → U3_gaaaag(T24, T28, T29, T310, T311, T307, T305, T306, row2colC_in_gaaaa(T24, T28, T29, .(T310, T311), T307))
U3_gaaaag(T24, T28, T29, T310, T311, T307, T305, T306, row2colC_out_gaaaa(T24, T28, T29, .(T310, T311), T307)) → U4_gaaaag(T24, T28, T29, T310, T311, T307, T305, T306, pB_in_gaaaag(T305, T310, T311, X611, X612, T306))
pB_in_gaaaag(T24, T28, T29, T318, T318, []) → U5_gaaaag(T24, T28, T29, T318, row2colC_in_gaaaa(T24, T28, T29, T318, T318))
U5_gaaaag(T24, T28, T29, T318, row2colC_out_gaaaa(T24, T28, T29, T318, T318)) → pB_out_gaaaag(T24, T28, T29, T318, T318, [])
U4_gaaaag(T24, T28, T29, T310, T311, T307, T305, T306, pB_out_gaaaag(T305, T310, T311, X611, X612, T306)) → pB_out_gaaaag(T24, T28, T29, .(T310, T311), T307, .(T305, T306))
U7_ga(T24, T25, T28, T29, pB_out_gaaaag(T24, T28, T29, X35, X36, T25)) → transposeD_out_ga(.(T24, T25), .(T28, T29))
transposeD_in_ga([], []) → transposeD_out_ga([], [])
ROW2COLA_IN_GAAGA(.(T266, T267), .(.(T266, T268), T271), .(T268, X539), T270, X540) → ROW2COLA_IN_GAAGA(T267, T271, X539, .([], T270), X540)
transposeD_in_ga(.(T24, T25), .(T28, T29)) → U7_ga(T24, T25, T28, T29, pB_in_gaaaag(T24, T28, T29, X35, X36, T25))
pB_in_gaaaag(T24, T28, T29, X35, X36, T25) → U2_gaaaag(T24, T28, T29, X35, X36, T25, row2colC_in_gaaaa(T24, T28, T29, X35, X36))
row2colC_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, .(T231, T232)))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), .(.(T231, T233), T235))))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, .(T233, X476)))))))), X477) → U6_gaaaa(T56, T81, T106, T131, T156, T181, T206, T231, T232, T58, T83, T108, T133, T158, T183, T208, T233, T235, X476, X477, row2colA_in_gaaga(T232, T235, X476, .([], .([], .([], .([], .([], .([], .([], []))))))), X477))
row2colA_in_gaaga(.(T266, T267), .(.(T266, T268), T271), .(T268, X539), T270, X540) → U1_gaaga(T266, T267, T268, T271, X539, T270, X540, row2colA_in_gaaga(T267, T271, X539, .([], T270), X540))
row2colA_in_gaaga([], [], [], T279, .([], T279)) → row2colA_out_gaaga([], [], [], T279, .([], T279))
U1_gaaga(T266, T267, T268, T271, X539, T270, X540, row2colA_out_gaaga(T267, T271, X539, .([], T270), X540)) → row2colA_out_gaaga(.(T266, T267), .(.(T266, T268), T271), .(T268, X539), T270, X540)
U6_gaaaa(T56, T81, T106, T131, T156, T181, T206, T231, T232, T58, T83, T108, T133, T158, T183, T208, T233, T235, X476, X477, row2colA_out_gaaga(T232, T235, X476, .([], .([], .([], .([], .([], .([], .([], []))))))), X477)) → row2colC_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, .(T231, T232)))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), .(.(T231, T233), T235))))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, .(T233, X476)))))))), X477)
row2colC_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, []))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), [])))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, []))))))), .([], .([], .([], .([], .([], .([], .([], [])))))))) → row2colC_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, []))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), [])))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, []))))))), .([], .([], .([], .([], .([], .([], .([], []))))))))
row2colC_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, [])))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), []))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, [])))))), .([], .([], .([], .([], .([], .([], []))))))) → row2colC_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, [])))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), []))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, [])))))), .([], .([], .([], .([], .([], .([], [])))))))
row2colC_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, []))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), [])))), .(T58, .(T83, .(T108, .(T133, .(T158, []))))), .([], .([], .([], .([], .([], [])))))) → row2colC_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, []))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), [])))), .(T58, .(T83, .(T108, .(T133, .(T158, []))))), .([], .([], .([], .([], .([], []))))))
row2colC_in_gaaaa(.(T56, .(T81, .(T106, .(T131, [])))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), []))), .(T58, .(T83, .(T108, .(T133, [])))), .([], .([], .([], .([], []))))) → row2colC_out_gaaaa(.(T56, .(T81, .(T106, .(T131, [])))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), []))), .(T58, .(T83, .(T108, .(T133, [])))), .([], .([], .([], .([], [])))))
row2colC_in_gaaaa(.(T56, .(T81, .(T106, []))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), [])), .(T58, .(T83, .(T108, []))), .([], .([], .([], [])))) → row2colC_out_gaaaa(.(T56, .(T81, .(T106, []))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), [])), .(T58, .(T83, .(T108, []))), .([], .([], .([], []))))
row2colC_in_gaaaa(.(T56, .(T81, [])), .(T56, T58), .(.(T81, T83), []), .(T58, .(T83, [])), .([], .([], []))) → row2colC_out_gaaaa(.(T56, .(T81, [])), .(T56, T58), .(.(T81, T83), []), .(T58, .(T83, [])), .([], .([], [])))
row2colC_in_gaaaa(.(T56, []), .(T56, T58), [], .(T58, []), .([], [])) → row2colC_out_gaaaa(.(T56, []), .(T56, T58), [], .(T58, []), .([], []))
U2_gaaaag(T24, T28, T29, X35, X36, T25, row2colC_out_gaaaa(T24, T28, T29, X35, X36)) → pB_out_gaaaag(T24, T28, T29, X35, X36, T25)
pB_in_gaaaag(T24, T28, T29, .(T310, T311), T307, .(T305, T306)) → U3_gaaaag(T24, T28, T29, T310, T311, T307, T305, T306, row2colC_in_gaaaa(T24, T28, T29, .(T310, T311), T307))
U3_gaaaag(T24, T28, T29, T310, T311, T307, T305, T306, row2colC_out_gaaaa(T24, T28, T29, .(T310, T311), T307)) → U4_gaaaag(T24, T28, T29, T310, T311, T307, T305, T306, pB_in_gaaaag(T305, T310, T311, X611, X612, T306))
pB_in_gaaaag(T24, T28, T29, T318, T318, []) → U5_gaaaag(T24, T28, T29, T318, row2colC_in_gaaaa(T24, T28, T29, T318, T318))
U5_gaaaag(T24, T28, T29, T318, row2colC_out_gaaaa(T24, T28, T29, T318, T318)) → pB_out_gaaaag(T24, T28, T29, T318, T318, [])
U4_gaaaag(T24, T28, T29, T310, T311, T307, T305, T306, pB_out_gaaaag(T305, T310, T311, X611, X612, T306)) → pB_out_gaaaag(T24, T28, T29, .(T310, T311), T307, .(T305, T306))
U7_ga(T24, T25, T28, T29, pB_out_gaaaag(T24, T28, T29, X35, X36, T25)) → transposeD_out_ga(.(T24, T25), .(T28, T29))
transposeD_in_ga([], []) → transposeD_out_ga([], [])
ROW2COLA_IN_GAAGA(.(T266, T267), .(.(T266, T268), T271), .(T268, X539), T270, X540) → ROW2COLA_IN_GAAGA(T267, T271, X539, .([], T270), X540)
ROW2COLA_IN_GAAGA(.(T266, T267), T270) → ROW2COLA_IN_GAAGA(T267, .([], T270))
From the DPs we obtained the following set of size-change graphs:
PB_IN_GAAAAG(T24, T28, T29, .(T310, T311), T307, .(T305, T306)) → U3_GAAAAG(T24, T28, T29, T310, T311, T307, T305, T306, row2colC_in_gaaaa(T24, T28, T29, .(T310, T311), T307))
U3_GAAAAG(T24, T28, T29, T310, T311, T307, T305, T306, row2colC_out_gaaaa(T24, T28, T29, .(T310, T311), T307)) → PB_IN_GAAAAG(T305, T310, T311, X611, X612, T306)
transposeD_in_ga(.(T24, T25), .(T28, T29)) → U7_ga(T24, T25, T28, T29, pB_in_gaaaag(T24, T28, T29, X35, X36, T25))
pB_in_gaaaag(T24, T28, T29, X35, X36, T25) → U2_gaaaag(T24, T28, T29, X35, X36, T25, row2colC_in_gaaaa(T24, T28, T29, X35, X36))
row2colC_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, .(T231, T232)))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), .(.(T231, T233), T235))))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, .(T233, X476)))))))), X477) → U6_gaaaa(T56, T81, T106, T131, T156, T181, T206, T231, T232, T58, T83, T108, T133, T158, T183, T208, T233, T235, X476, X477, row2colA_in_gaaga(T232, T235, X476, .([], .([], .([], .([], .([], .([], .([], []))))))), X477))
row2colA_in_gaaga(.(T266, T267), .(.(T266, T268), T271), .(T268, X539), T270, X540) → U1_gaaga(T266, T267, T268, T271, X539, T270, X540, row2colA_in_gaaga(T267, T271, X539, .([], T270), X540))
row2colA_in_gaaga([], [], [], T279, .([], T279)) → row2colA_out_gaaga([], [], [], T279, .([], T279))
U1_gaaga(T266, T267, T268, T271, X539, T270, X540, row2colA_out_gaaga(T267, T271, X539, .([], T270), X540)) → row2colA_out_gaaga(.(T266, T267), .(.(T266, T268), T271), .(T268, X539), T270, X540)
U6_gaaaa(T56, T81, T106, T131, T156, T181, T206, T231, T232, T58, T83, T108, T133, T158, T183, T208, T233, T235, X476, X477, row2colA_out_gaaga(T232, T235, X476, .([], .([], .([], .([], .([], .([], .([], []))))))), X477)) → row2colC_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, .(T231, T232)))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), .(.(T231, T233), T235))))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, .(T233, X476)))))))), X477)
row2colC_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, []))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), [])))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, []))))))), .([], .([], .([], .([], .([], .([], .([], [])))))))) → row2colC_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, []))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), [])))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, []))))))), .([], .([], .([], .([], .([], .([], .([], []))))))))
row2colC_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, [])))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), []))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, [])))))), .([], .([], .([], .([], .([], .([], []))))))) → row2colC_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, [])))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), []))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, [])))))), .([], .([], .([], .([], .([], .([], [])))))))
row2colC_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, []))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), [])))), .(T58, .(T83, .(T108, .(T133, .(T158, []))))), .([], .([], .([], .([], .([], [])))))) → row2colC_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, []))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), [])))), .(T58, .(T83, .(T108, .(T133, .(T158, []))))), .([], .([], .([], .([], .([], []))))))
row2colC_in_gaaaa(.(T56, .(T81, .(T106, .(T131, [])))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), []))), .(T58, .(T83, .(T108, .(T133, [])))), .([], .([], .([], .([], []))))) → row2colC_out_gaaaa(.(T56, .(T81, .(T106, .(T131, [])))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), []))), .(T58, .(T83, .(T108, .(T133, [])))), .([], .([], .([], .([], [])))))
row2colC_in_gaaaa(.(T56, .(T81, .(T106, []))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), [])), .(T58, .(T83, .(T108, []))), .([], .([], .([], [])))) → row2colC_out_gaaaa(.(T56, .(T81, .(T106, []))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), [])), .(T58, .(T83, .(T108, []))), .([], .([], .([], []))))
row2colC_in_gaaaa(.(T56, .(T81, [])), .(T56, T58), .(.(T81, T83), []), .(T58, .(T83, [])), .([], .([], []))) → row2colC_out_gaaaa(.(T56, .(T81, [])), .(T56, T58), .(.(T81, T83), []), .(T58, .(T83, [])), .([], .([], [])))
row2colC_in_gaaaa(.(T56, []), .(T56, T58), [], .(T58, []), .([], [])) → row2colC_out_gaaaa(.(T56, []), .(T56, T58), [], .(T58, []), .([], []))
U2_gaaaag(T24, T28, T29, X35, X36, T25, row2colC_out_gaaaa(T24, T28, T29, X35, X36)) → pB_out_gaaaag(T24, T28, T29, X35, X36, T25)
pB_in_gaaaag(T24, T28, T29, .(T310, T311), T307, .(T305, T306)) → U3_gaaaag(T24, T28, T29, T310, T311, T307, T305, T306, row2colC_in_gaaaa(T24, T28, T29, .(T310, T311), T307))
U3_gaaaag(T24, T28, T29, T310, T311, T307, T305, T306, row2colC_out_gaaaa(T24, T28, T29, .(T310, T311), T307)) → U4_gaaaag(T24, T28, T29, T310, T311, T307, T305, T306, pB_in_gaaaag(T305, T310, T311, X611, X612, T306))
pB_in_gaaaag(T24, T28, T29, T318, T318, []) → U5_gaaaag(T24, T28, T29, T318, row2colC_in_gaaaa(T24, T28, T29, T318, T318))
U5_gaaaag(T24, T28, T29, T318, row2colC_out_gaaaa(T24, T28, T29, T318, T318)) → pB_out_gaaaag(T24, T28, T29, T318, T318, [])
U4_gaaaag(T24, T28, T29, T310, T311, T307, T305, T306, pB_out_gaaaag(T305, T310, T311, X611, X612, T306)) → pB_out_gaaaag(T24, T28, T29, .(T310, T311), T307, .(T305, T306))
U7_ga(T24, T25, T28, T29, pB_out_gaaaag(T24, T28, T29, X35, X36, T25)) → transposeD_out_ga(.(T24, T25), .(T28, T29))
transposeD_in_ga([], []) → transposeD_out_ga([], [])
PB_IN_GAAAAG(T24, T28, T29, .(T310, T311), T307, .(T305, T306)) → U3_GAAAAG(T24, T28, T29, T310, T311, T307, T305, T306, row2colC_in_gaaaa(T24, T28, T29, .(T310, T311), T307))
U3_GAAAAG(T24, T28, T29, T310, T311, T307, T305, T306, row2colC_out_gaaaa(T24, T28, T29, .(T310, T311), T307)) → PB_IN_GAAAAG(T305, T310, T311, X611, X612, T306)
row2colC_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, .(T231, T232)))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), .(.(T231, T233), T235))))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, .(T233, X476)))))))), X477) → U6_gaaaa(T56, T81, T106, T131, T156, T181, T206, T231, T232, T58, T83, T108, T133, T158, T183, T208, T233, T235, X476, X477, row2colA_in_gaaga(T232, T235, X476, .([], .([], .([], .([], .([], .([], .([], []))))))), X477))
row2colC_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, []))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), [])))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, []))))))), .([], .([], .([], .([], .([], .([], .([], [])))))))) → row2colC_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, []))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), [])))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, []))))))), .([], .([], .([], .([], .([], .([], .([], []))))))))
row2colC_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, [])))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), []))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, [])))))), .([], .([], .([], .([], .([], .([], []))))))) → row2colC_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, [])))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), []))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, [])))))), .([], .([], .([], .([], .([], .([], [])))))))
row2colC_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, []))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), [])))), .(T58, .(T83, .(T108, .(T133, .(T158, []))))), .([], .([], .([], .([], .([], [])))))) → row2colC_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, []))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), [])))), .(T58, .(T83, .(T108, .(T133, .(T158, []))))), .([], .([], .([], .([], .([], []))))))
row2colC_in_gaaaa(.(T56, .(T81, .(T106, .(T131, [])))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), []))), .(T58, .(T83, .(T108, .(T133, [])))), .([], .([], .([], .([], []))))) → row2colC_out_gaaaa(.(T56, .(T81, .(T106, .(T131, [])))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), []))), .(T58, .(T83, .(T108, .(T133, [])))), .([], .([], .([], .([], [])))))
row2colC_in_gaaaa(.(T56, .(T81, .(T106, []))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), [])), .(T58, .(T83, .(T108, []))), .([], .([], .([], [])))) → row2colC_out_gaaaa(.(T56, .(T81, .(T106, []))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), [])), .(T58, .(T83, .(T108, []))), .([], .([], .([], []))))
row2colC_in_gaaaa(.(T56, .(T81, [])), .(T56, T58), .(.(T81, T83), []), .(T58, .(T83, [])), .([], .([], []))) → row2colC_out_gaaaa(.(T56, .(T81, [])), .(T56, T58), .(.(T81, T83), []), .(T58, .(T83, [])), .([], .([], [])))
row2colC_in_gaaaa(.(T56, []), .(T56, T58), [], .(T58, []), .([], [])) → row2colC_out_gaaaa(.(T56, []), .(T56, T58), [], .(T58, []), .([], []))
U6_gaaaa(T56, T81, T106, T131, T156, T181, T206, T231, T232, T58, T83, T108, T133, T158, T183, T208, T233, T235, X476, X477, row2colA_out_gaaga(T232, T235, X476, .([], .([], .([], .([], .([], .([], .([], []))))))), X477)) → row2colC_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, .(T231, T232)))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), .(.(T231, T233), T235))))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, .(T233, X476)))))))), X477)
row2colA_in_gaaga(.(T266, T267), .(.(T266, T268), T271), .(T268, X539), T270, X540) → U1_gaaga(T266, T267, T268, T271, X539, T270, X540, row2colA_in_gaaga(T267, T271, X539, .([], T270), X540))
row2colA_in_gaaga([], [], [], T279, .([], T279)) → row2colA_out_gaaga([], [], [], T279, .([], T279))
U1_gaaga(T266, T267, T268, T271, X539, T270, X540, row2colA_out_gaaga(T267, T271, X539, .([], T270), X540)) → row2colA_out_gaaga(.(T266, T267), .(.(T266, T268), T271), .(T268, X539), T270, X540)
PB_IN_GAAAAG(T24, .(T305, T306)) → U3_GAAAAG(T305, T306, row2colC_in_gaaaa(T24))
U3_GAAAAG(T305, T306, row2colC_out_gaaaa(T307)) → PB_IN_GAAAAG(T305, T306)
row2colC_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, .(T231, T232))))))))) → U6_gaaaa(row2colA_in_gaaga(T232, .([], .([], .([], .([], .([], .([], .([], [])))))))))
row2colC_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, [])))))))) → row2colC_out_gaaaa(.([], .([], .([], .([], .([], .([], .([], []))))))))
row2colC_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, []))))))) → row2colC_out_gaaaa(.([], .([], .([], .([], .([], .([], [])))))))
row2colC_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, [])))))) → row2colC_out_gaaaa(.([], .([], .([], .([], .([], []))))))
row2colC_in_gaaaa(.(T56, .(T81, .(T106, .(T131, []))))) → row2colC_out_gaaaa(.([], .([], .([], .([], [])))))
row2colC_in_gaaaa(.(T56, .(T81, .(T106, [])))) → row2colC_out_gaaaa(.([], .([], .([], []))))
row2colC_in_gaaaa(.(T56, .(T81, []))) → row2colC_out_gaaaa(.([], .([], [])))
row2colC_in_gaaaa(.(T56, [])) → row2colC_out_gaaaa(.([], []))
U6_gaaaa(row2colA_out_gaaga(X477)) → row2colC_out_gaaaa(X477)
row2colA_in_gaaga(.(T266, T267), T270) → U1_gaaga(row2colA_in_gaaga(T267, .([], T270)))
row2colA_in_gaaga([], T279) → row2colA_out_gaaga(.([], T279))
U1_gaaga(row2colA_out_gaaga(X540)) → row2colA_out_gaaga(X540)
row2colC_in_gaaaa(x0)
U6_gaaaa(x0)
row2colA_in_gaaga(x0, x1)
U1_gaaga(x0)
From the DPs we obtained the following set of size-change graphs: